example(active(d190), 1).
example(active(d191), 1).
example(active(d194), 1).
example(active(d197), 1).
example(active(e1), 1).
example(active(e2), 1).
example(active(e27), 1).
example(active(f1), 1).
example(active(f2), 1).
example(active(f3), 1).
example(active(f4), 1).
example(active(f5), 1).
example(active(f6), 1).
example(active(d189), -1).
example(active(d192), -1).
example(active(d193), -1).
example(active(d195), -1).
example(active(d196), -1).
example(active(e10), -1).
example(active(e11), -1).
example(active(e12), -1).
example(active(e13), -1).
example(active(e14), -1).
example(active(e15), -1).
example(active(e16), -1).
example(active(e17), -1).
example(active(e18), -1).
example(active(e19), -1).
example(active(e20), -1).
example(active(e21), -1).
example(active(e22), -1).
example(active(e23), -1).
example(active(e24), -1).
example(active(e25), -1).
example(active(e26), -1).
example(active(e3), -1).
example(active(e4), -1).
example(active(e5), -1).
example(active(e6), -1).
example(active(e7), -1).
example(active(e8), -1).
example(active(e9), -1).